La longitud de la diagonal mayor de los rombos congruentes o de los romboides congruentes en que se divide un polígono cóncavo ordenado de dato (m,m,n) m mayor que n, n mayor o igual que uno, es igual a la longitud del lado mayor de los rectángulos congruentes o de los romboides congruentes en los que se divide un rectángulo y un romboide de orden (m,m) m mayor o igual a dos, y mediante ello mentalmente se supone que se construyeron los polígonos cóncavos ordenados.